%\newtheorem{theorem}{Theorem}
%\newtheorem{assumption}{Assumption}
%\newtheorem{corollary}{Corollary}
%\newtheorem{lemma}{Lemma}
%\newtheorem{definition}{Definition}
%\newcommand{\proof}{\paragraph{Proof:}}

%\newtheorem{analysis}{\it Refinement Analysis}

\newcommand{\eqdef}{=_{{\rm def}}}
\newcommand{\bea}{\begin{array}}
\newcommand{\eea}{\end{array}}
\newcommand{\beq}{\begin{eqnarray}}
\newcommand{\eeq}{\end{eqnarray}}
\newcommand{\beqq}{\begin{eqnarray*}}
\newcommand{\eeqq}{\end{eqnarray*}}
\newcommand{\myparagraph}[1]{\paragraph{\bf #1.}}

\newcommand{\ifandonlyif}{{\Longleftrightarrow}}
\newcommand{\eproof}{{\hfill$\Box$}\\}
\newcommand{\eitemproof}{{\hfill$\Box$}}
\newcommand{\cts}{CTS}
\newcommand{\may}{{\it may}}
\newcommand{\must}{{\it must}}
\newcommand{\rroot}{{\bf root}}
\newcommand{\dom}{{D}}
\newcommand{\selfpeer}{{\it selfpeer}}
\newcommand{\peer}{p}
\newcommand{\qpeer}{q}
\newcommand{\domQ}{{\bf q}}
\newcommand{\join}{{\bf join}}
\newcommand{\ydoc}{y}
\newcommand{\doc}{x}
\newcommand{\Docs}{\mathcal{X}}
\newcommand{\vvar}{{P}}
%\newcommand{\Vars}{\underline{\mathcal{P}}}
\newcommand{\Vars}[1]{\mathcal{X}_{#1}}
\newcommand{\varset}{\mathcal{P}}
\newcommand{\varsetQ}{\mathcal{Q}}
%\newcommand{\Vars}{\mathcal{V}}
\newcommand{\Trees}{\mathcal{T}}
\newcommand{\Projtrees}{{\mathcal{V}}}
\newcommand{\projt}{v}
\newcommand{\state}{{T}}
\newcommand{\States}{\mathcal{T}}
\newcommand{\Tiles}{\mathbf{T}}
\newcommand{\tile}{\mathbf{t}}
\newcommand{\Act}{\mathcal{A}}
\newcommand{\Param}{\mathcal{P}}
\newcommand{\Ident}{\mathcal{I}}
\newcommand{\Nodes}{\mathcal{N}}
\newcommand{\Labels}{\Lambda}
\newcommand{\labeling}{\lambda}
\newcommand{\tquery}{{\it tq}}
\newcommand{\Allqueries}{\mathcal{Q}}
\newcommand{\Alltqueries}{\mathcal{TQ}}
\newcommand{\Tqueries}{{TQ}}
% \newcommand{\ra}{\rightarrow}
% \newcommand{\implies}{\Longrightarrow}
%\newcommand{\child}{\downarrow}
%\newcommand{\descendant}{\downarrow^*}
\newcommand{\child}{/}
\newcommand{\descendant}{/\!\!/}
\newcommand{\para}{\;\|\;}
%\newcommand{\suff}[1]{{#1}^\downarrow}
\newcommand{\leaf}{{\bf leaf}}
\newcommand{\Leaves}[1]{{\bf leaves}\left(#1\right)}
\newcommand{\restrict}[2]{{#1}_{\left|{#2}\right.}}
\newcommand{\act}[2]{\left\langle{#1},{#2}\right\rangle}
\newcommand{\actt}[3]{\left\langle{#1},{#2},{#3}\right\rangle}
\newcommand{\assign}[3]{\left\langle{#1},{#2},{#3}\right\rangle}
\newcommand{\preact}[3]{\left\langle{#1}|{#3}|{#2}\right\rangle}
%\newcommand{\proj}[2]{{\bf proj}_{#1}\left(#2\right)}
\newcommand{\rrule}[2]{\frac{#1}{#2}}
%\newcommand{\transTQ}[3]{{#1}\;\frac{~~~{#2}~~~~}\!\!\!\!\!\!{\tt >}_\Tqueries\;{#3}}
\newcommand{\transTQ}[3]{{#1}\;\frac{~~{#2}~~~}\!\!\!\!\!\!{\ra}_\Tqueries \ {#3}}
\newcommand{\trans}[5]{{#1}\;\frac{~({#2},{#3})_{#4}~~~}\!\!\!\!\!\!{\tt >}\;{#5}}
%\newcommand{\trans}[5]{{#1}\;\frac{~({#2},{#3})_{#4}~~}\!\!\!\!\!\!\!\!\!\ra\;{#5}}

\hyphenation{GAXML}
